<?php
function abc()
{
	echo 123;
}